Sfoglia per ???browse.type.metadata.subjectIsicrui??? Tecnologia dell'Informazione e Sistemi di Comunicazione
Verifying Array Programs by Transforming Verification Conditions
2014-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
VeriMAP: A tool for Verifying Programs through Transformation.
2014-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Vertical integration in international telecommunication system
1999-01-01 Cricelli, L; Gastaldi, M; LEVIALDI GHIRON, N
Water Vapor Probabilistic Retrieval Using GNSS Signals
2014-01-01 Antonini, A; Benedetti, R; Ortolani, A; Rovai, L; Schiavon, G
Wavelet packet transform processing for interference excision in TT&C spread-spectrum transponder
2008-01-01 Simone, L; Caselli, F
Web-based information access: Multilingual Automatic Authoring
2001-01-01 Basili, R; Pazienza, Mt; Zanzotto, Fm
Weibull multiplicative model and machine learning models for full-automatic dark-spot detection from SAR images
2013-01-01 Taravat, A; DEL FRATE, F
WETICE2008 showcase report
2008-06-01 Buttarazzi, B; Angelaccio, M; D'Ambrogio, A
WiMAX fractional frequency reuse for rural environments
2008-01-01 Giuliano, R; Monti, C; Loreti, P
Workshop on The Evaluation of Parsing System, held with the International Conference on Language Resources and Evaluation
1998-01-01 Basili, R; Pazienza, Mt; Zanzotto, Fm
| Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
|---|---|---|---|---|
| 1-gen-2014 | Verifying Array Programs by Transforming Verification Conditions | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
| 1-gen-2014 | VeriMAP: A tool for Verifying Programs through Transformation. | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
| 1-gen-1999 | Vertical integration in international telecommunication system | Cricelli, L; Gastaldi, M; LEVIALDI GHIRON, N | Articolo su rivista | |
| 1-gen-2014 | Water Vapor Probabilistic Retrieval Using GNSS Signals | Antonini, A; Benedetti, R; Ortolani, A; Rovai, L; Schiavon, G | Articolo su rivista | |
| 1-gen-2008 | Wavelet packet transform processing for interference excision in TT&C spread-spectrum transponder | Simone, L; Caselli, F | Intervento a convegno | |
| 1-gen-2001 | Web-based information access: Multilingual Automatic Authoring | Basili, R; Pazienza, Mt; Zanzotto, Fm | Intervento a convegno | |
| 1-gen-2013 | Weibull multiplicative model and machine learning models for full-automatic dark-spot detection from SAR images | Taravat, A; DEL FRATE, F | Intervento a convegno | |
| 1-giu-2008 | WETICE2008 showcase report | Buttarazzi, B; Angelaccio, M; D'Ambrogio, A | Intervento a convegno | |
| 1-gen-2008 | WiMAX fractional frequency reuse for rural environments | Giuliano, R; Monti, C; Loreti, P | Articolo su rivista | |
| 1-gen-1998 | Workshop on The Evaluation of Parsing System, held with the International Conference on Language Resources and Evaluation | Basili, R; Pazienza, Mt; Zanzotto, Fm | Intervento a convegno |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile